>>= -package:zio -package:control-monad-free

Sequentially compose two actions, passing any value produced by the first as an argument to the second. 'as >>= bs' can be understood as the do expression

do a <- as
bs a

Module over monad operator for Code

Sequentially compose two actions, passing any value produced by the first as an argument to the second. 'as >>= bs' can be understood as the do expression

do a <- as
bs a

Sequentially compose two actions, passing any value produced by the first as an argument to the second.

Bind to actions.

x >>= g applies a linear function g linearly (i.e., using it exactly once) on the value of type a inside the value of type m a

The implementation of <- statements in a do block, which forwards to runCont if k is Cont, otherwise forwards to runPolyCont from PolyCont.

filter in infix form. Can be considered an additional monadic combinator, which can be used where you would want guard otherwise.